Boolos, G.; "Provability Logic"の読書録
G. Boolos; "The Logic of Provability"
Introduction
様相論理GLについて
Gödelの不動点補題についてはChapt 8で。Dick de JonghやGiovanni Sambinによる。
Solovayの算術的完全性定理はChapt 9で。
1966、Kripke
第2不完全性定理からLöbの定理を導く
これSaul A. Kripke由来だったの？！
Chapt8. 証明可能性論理の不動点定理